CoSDL: An Experimental Language for Collaboration Specification

نویسندگان

  • Frank Rößler
  • Birgit Geppert
  • Reinhard Gotzhein
چکیده

The decomposition of distributed systems is often driven by its process structure only, focusing on the behaviour of individual agents. In previous work, we have argued that this is not always an adequate modularization of distributed systems, and have proposed “cross-cutting” collaboration modules instead. In this paper, we discuss language support for the specification of collaboration modules that goes beyond the capabilities of SDL and MSC. In particular, we introduce the experimental formal description technique CoSDL, which was designed as a “proof of concept” for collaboration-based design with SDL. We believe that the lessons learned from CoSDL are valuable for collaboration-oriented extensions of MSC, SDL, and corresponding tool environments.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

IMPACT OF SYNCHRONOUS COMPUTER-MEDIATED COMMUNICATION ON EFL LEARNERS’ COLLABORATION: A QUANTITATIVE ANALYSIS

For the last two decades, computers have entered people’s lives in an unprecedented manner in a way that almost everybody considers life without them rather impossible. In recent years, researchers and educators have been trying to discover how computers and the Internet technology can maximize the quality of language instruction. As such, the present experimental study sought to investigate th...

متن کامل

Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity

When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice is still common, it is a challenging task to move from text-based requirements and problem-space concepts to a final UI design, and then back again. However, this activity is required frequently and is necessary to driv...

متن کامل

The Impact of Mediational Artifact Types on EFL Learners’ Writing Complexity: Collaboration vs. Asynchronous Artifacts

The present study was an attempt to investigate the significance of environmental changes on the develo p- ment of writing in English as a Foreign Language (EFL) context with respect to the individual. This study also compared the impacts of collaboration and asynchronous computer mediation (ACM) on the writing complexity of EFL learners. To this end, three intact writing classes were designate...

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

Group Collaboration, Scaffolding Instruction, and Peer Assessment of Iranian EFL Learners Oral Tasks

Peer assessment has gained growing popularity in education and teaching. Being a learning tool, evaluating their peers can equip learners with skills to develop judgments about what forms high-quality work. There have been however research gaps in the literature showing a lack of adequate work on the investigation of peer assessment in a group-oriented classroom context. The present study inten...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002